Simon Fraser University - PDFSEARCH.IO - Document Search Engine

Simon Fraser University
Results: 1211

#	Item
221	On a Rule-Based Interpretation of Default Conditionals James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2007-05-11 16:16:44 Philosophical logic Reasoning Binary operations Default logic Non-monotonic logic Inference Entailment Material conditional Monotonicity of entailment Logic Logical consequence Non-classical logic
222	Programmatic access for Altmetrics Scott Chamberlain (@recology_) rOpenSci / Simon Fraser University Find this talk here http://bit.ly/roalm Made with Slidify; the code here Add to Reading List Source URL: article-level-metrics.plos.org Language: English - Date: 2013-10-16 19:53:57 Application programming interface Computing Technology Ajax JSON JavaScript
223	A General Approach to the Verification of Cryptographic Protocols using Answer Set Programming James P. Delgrande, Torsten Grote, and Aaron Hunter School of Computing Science, Simon Fraser University, Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:50:51 Information Needham–Schroeder protocol Cryptographic nonce Challenge-response authentication Burrows–Abadi–Needham logic Communications protocol Public-key cryptography Transmission Control Protocol Otway–Rees protocol Cryptographic protocols Data Cryptography
224	Considerations on Belief Revision in an Action Theory James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:45:43 Belief revision Knowledge representation Μ operator Modal logic Multiplicative order Proposition Linear temporal logic Logic Science Modular arithmetic
225	Revising by an Inconsistent Set of Formulas James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:31:54 Philosophical logic Philosophy of language Model theory Belief revision Entailment Interpretation Constructible universe Function Logical connective Logic Logical syntax Propositional calculus
226	An Action Description Language for Iterated Belief Change Aaron Hunter and James P. Delgrande Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:48:01
227	Compiling Specificity into Approaches to Nonmonotonic Reasoning James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C. Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-12-10 19:30:01 Logic programming Science Reasoning Knowledge representation Default logic Non-monotonic logic Inference Circumscription Nixon diamond Logic Non-classical logic Mathematical logic
228	BC Museums Association 675 Belleville Street, Victoria, BC, V8W 9W2 Main: www.museumsassn.bc.ca FOR RELEASE JANUARY 21, 2014 Add to Reading List Source URL: museumsassn.bc.ca Language: English - Date: 2014-06-26 13:01:32 Canadian Museums Association Museum HSBC Royal Roads University Simon Fraser University Financial economics Investment Museology Tourism
229	Inventory of organizations and proponents of plain language, clear communication and literacy Compiled for IC Clear April[removed]Amrei C. Joerchel Add to Reading List Source URL: icclear.net Language: English Plain Language Movement Plain language Plain English Simon Fraser University Legal writing Email Mail English languages Anglo-Frisian languages West Germanic languages
230	Modern Greek Studies Association Symposium 21 October 15-17, 2009 Segal Graduate School of Business Simon Fraser University 500 Granville Street, Vancouver BC Canada Add to Reading List Source URL: mgsa.org Language: English - Date: 2015-01-21 03:53:57

UPDATE